bool_tactics_1 12,41
========================= TACTICS USED IN `ASSERT' =========================================

origin